More from this Author
Found 2 books by A. S. Troelstra
Basic Proof Theory
by A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)
Constructivism in Mathematics, Vol 1
by A. S. Troelstra, D. van Dalen